Kandinsky Patterns
نویسندگان
چکیده
Kandinsky Figures and Patterns are mathematically describable, simple self-contained hence controllable test data sets for the development, validation training of explainability in artificial intelligence. Whilst have these computationally manageable properties, they at same time easily distinguishable from human observers. Consequently, controlled patterns can be described by both humans computers. We define a Pattern as set Figures, where each figure an "infallible authority" defines that belongs to Pattern. With this principle we build automatic interpretability context learning. In paper describe basic idea some underlying principles provide Github repository invite international machine learning research community challenge experiment with our expand thus make progress field explainable AI contribute upcoming causability.
منابع مشابه
The misidentification of Clerambault's and Kandinsky-Clerambault's syndromes.
Eponymic terms or eponyms are labels describing phenomena that reflect the name(s) of the person(s) who first described the phenomena. Using a similar term to describe different forms of pathology leads to a muddle. In this paper, we describe "Clerambault's syndrome" and "Kandinsky-Clerambault's syndrome" and discuss and clarify the confusion surrounding these different syndromes.
متن کاملFrom Kandinsky to Java ( The Use of 20
At the University of Worcester we are continually striving to find new approaches to the learning and teaching of programming, to improve the quality of learning and the student experience. Over the past three years we have used the contexts of robotics, computer games, and most recently a study of Abstract Art to this end. This paper discusses our motivation for using Abstract Art as a context...
متن کاملOn Smooth Orthogonal and Octilinear Drawings: Relations, Complexity and Kandinsky Drawings
We study two variants of the well-known orthogonal drawing model: (i) the smooth orthogonal, and (ii) the octilinear. Both models form an extension of the orthogonal, by supporting one additional type of edge segments (circular arcs and diagonal segments, respectively). For planar graphs of max-degree 4, we analyze relationships between the graph classes that can be drawn bendless in the two mo...
متن کاملFrom EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI
We describe the development of the KandISTI family of model checkers from its origins nearly two decades ago until its very recent latest addition. Most progress was made, however, during two integrated European projects, AGILE and SENSORIA, in which our FM&&T lab participated under the scientific coordination of Martin Wirsing. Moreover, the very name of the family of model checkers is partly ...
متن کاملthematization patterns across generic moves
in this research,the authors conducted a study comparing two groups of male and female english language learners studying in a elt institute,in terms of their performance on their achievement test including listening comprehension,vocabulary,grammar,and reading comprehension and found no significant difference between the group except in listening comprehension part of the test in which the f...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2021
ISSN: ['2633-1403']
DOI: https://doi.org/10.1016/j.artint.2021.103546